/**
 * @file init.c
 * @date 23.05.04
 * @author xin
 * @brief init程序，最初始的用户级别程序
 * @version 0.1
 * @status Stable
*/

#include "src/kernel/types.h"
#include "src/user/user.h"

#define SEC 370000000l

int
main(void)
{
    printf("init: start running\n");
    while (1) {
        static int j = 0;
        for (uint64 i = 0; i < SEC; i++); 
        printf("now is %d second(s)\n", j++);
    }
    return 0;
}